ArithMemberReflEqTypeCD